Make Bootstrap3 the default, and move the old bootstrap theme to Bootstrap2