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