Reformat save_symbols()

; also change version prinout from "v.1.2.3" to "1.2.3"; also reformat
of dummy functions yywrap() and yyerror()