allow keeping multiple versions of documentation
fix UI bug
allow switching documentation version
update documentation table of contents
fix code highlighting
update v0.2.0 documentation
update v0.1.5 documentation
restrict code highlight to a few languages