Require extract-instructions filename in getalllines-new-05.sh.
Minor format fixes in main16.py for no-auditing cases.