keep theme-stetting for dotlrn themes in dotlrn, since it requires a dotlrn instancebut when the dotlrn is installed, it requires the dotlrn-theme package to be installed
moved theme setting to theme package (dotlrn-bootstrap3-theme)This make sure that in the loading sequence, the theme is available when onetries to switch to it.