Fixed build system for aterm files (should have been caught by Jenkins last 10 days ago).
Added termpretty.l++ program (lex file generating c++ code) to output formatted aterms.
Merge remote-tracking branch 'origin/master' into HEAD