Install builtin themes

Check if the theme's name given is a builtin one and if so, then copy
it into the 'themes/' folder.