Adds Tiozinho's menu to the options, adds the restaurants' names to the page.
Merge branch 'master' of github.com:almopuc/almopuc.github.io