Add a .gitignore file
New filename tracking system

Sofar, the name of the file currently processes was being tracked by hand
using a stack. Now, we rely on the currfile package, which does this in a
much smarter way. Surprinsingly, this package does not handle the macro
\input whne called without {}, so we still resort the old approach for this
case.