[ghost] Update tests for ghost qualifier

tests/pretty_printing/annotations.i

tests/pretty_printing/ghost_parameters.c

tests/pretty_printing/oracle/annotations.res.oracle

tests/pretty_printing/oracle/ghost_parameters.res.oracle

tests/rte/bts621.c

tests/rte/oracle/bts621.res.oracle

tests/spec/assigns_from_kf.i

tests/spec/ghost.c

tests/spec/oracle/assigns_from_kf.res.oracle

tests/spec/oracle/ghost.res.oracle

tests/syntax/ghost_cv_var_decl.c

tests/syntax/ghost_parameters_side_effect_arg.i