JNAerator: added -skipDeprecated option for JNA output (issue #480)