Compile LAGDA files

- `Heap.lagda' is still omitted from the default target since type
  checking the file fails
- `agda' is assumed to include the standard library implicitly (f.i.,
  through aliasing)
Git ignore pdflatex auxiliary files