make-spec: Avoid generating unnecessary whitespace in instance proofs.
test_spec: Be more picky about blank lines.

Rolling back fbd3ce456a19627f6632f7b4df373914120b010a, which is now
unnecessary because the spec generator script generates nicer newlines.
misc: Implement 'clean' and 'realclean' Makefile targets.
Merge pull request #2 from mfernandez/clean

misc: Implement 'clean' and 'realclean' Makefile targets.
autocorres: remove the sorried heap_lift heap lemmas. This limits heap lifting on struct fields to packed types only.
autocorres: restore backwards compatibility for heap lifting struct accesses.

Structs may be nested or non-nested, and packed or non-packed.
The old heap_lift worked for all non-nested structs; the rules were recently
changed to work for all packed structs.

This patch simply adds the old rules alongside the new so that
any non-nested or packed struct accesses can be heap lifted.

In the future, we might want to fix the remaining unsupported case:
nested non-packed structs.
autocorres: Run without "quick_and_dirty".
Make toPAddr and fromPAddr input abbreviations (not abbreviations).

This stops every instance of "id" becoming "fromPAddr" in goals.
infoflow: trivial: Add some comments to "do_user_op_if" definition.