These Source Themes can be imported with the Theme Manager Extension;

Simply choose "Theme Manager..." from the Special menu and press

"Import Theme" for choosing one of the theme xml files.