add pg_strom.devprog_enable_optimization option