Add remove_java_new pass to jdiff and janalyzer tools#8787

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-3094-remove_java_newtautschnig/cbmc:fix-3094-remove_java_newCopy head branch name to clipboard