Pab/misc fixes

Fixes:
.gitignore now ignores even more files.
absyn.c: typo fixed.

(the java-interop branch is more interesting, but needs a couple more fixes before it's ready for mainline).