add pg_strom.devprog_enable_optimization option
Merge branch 'master' into hjproj