Ignore temporary files and generated output.
Adds some conjectured timelock puzzles.