Revert "Add prints for debugging"

This reverts commit db6638756c84d2a0a8c7d3ee4154aac693d8fe65.
Serve .pdf instead of .tex