Added code to auto-generate synthesizer.
Added code to print synthesis result.
Added code to map racket synthesizer back to python ast.