* main_codequery.ml: enlarge java heapspace for bddbddb, also added other options found in hw6/
* main_codequery.ml: enlarge java heapspace for bddbddb, also added
other options found in hw6/

mutantzombie/pfff,rpau/pfff,juergenhoetzel/pfff,egonSchiele/pfff,juergenhoetzel/pfff,Hyunha/pfff,rpau/pfff,Hyunha/pfff,rpau/pfff,egonSchiele/pfff,juergenhoetzel/pfff,mutantzombie/pfff,egonSchiele/pfff,mutantzombie/pfff,juergenhoetzel/pfff,mutantzombie/pfff,egonSchiele/pfff,rpau/pfff,juergenhoetzel/pfff,rpau/pfff,juergenhoetzel/pfff,mutantzombie/pfff,egonSchiele/pfff,Hyunha/pfff,Hyunha/pfff,Hyunha/pfff,Hyunha/pfff,egonSchiele/pfff,egonSchiele/pfff,juergenhoetzel/pfff,rpau/pfff,rpau/pfff,rpau/pfff,Hyunha/pfff,mutantzombie/pfff,Hyunha/pfff,juergenhoetzel/pfff,egonSchiele/pfff,mutantzombie/pfff,egonSchiele/pfff,egonSchiele/pfff,rpau/pfff,Hyunha/pfff,mutantzombie/pfff,rpau/pfff,mutantzombie/pfff,mutantzombie/pfff,juergenhoetzel/pfff,Hyunha/pfff,mutantzombie/pfff,juergenhoetzel/pfff