bootstrap addition

- added bootstrap
- first graphical improving
- navbar with contexts, rules, symbols
Merge branch 'adding-bootstrap'