Removed dvi, and added links to GitHub
Added a link to the main page to the menu