Hack out parenthesis matching in TMSim.
Remove unwanted lower margin on nav pills.
updates to gatesim.js, add .gitignore for backup files
Merge branch 'master' of https://github.com/6004x/6.004x into jsim