Add bootstrap css/js
Fix css for navbar text
Add mathjax/markdown proof editor
Fix proof edit page
Move utility functions to util module, separate files
Clean up imports in views.py, move form definition to forms.py