Compiler: add more missing mli files and fix .gitignore