antlr c++ target mostly works

Conflicts:
	src/parser/bounded_token_buffer.cpp
	src/parser/smt2/smt2_input.h
more functional, now
fixes/incorporations