Formatting fixes for sicp notes
Add theme and plugins and submodules
Use bootstrap3 and plugins submodules