go_jump_to_error option
Merge pull request #160 from nowk/master

Make auto jump to error optional