Added option --enable-config-prime
Added option --enable-config-prime

ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM