More explicit version of gitignore.
Removed marginnotes, removed unnecessary code in preambles.