polyjit: switch to polly's default options at run-time
polyjit: switch to polly's default options at run-time

Former-commit-id: 0322849ad657336337113c9981ab9059d78a54ac
Former-commit-id: 86be359ac1ca53de01b9c93fc58f95f51e161d13 [formerly 17d917017507ce2312cdaca5f655e0438e30072c] [formerly 13a8e454b077e611aa31db948f362ee8d63f5bae [formerly a1a1ee5b2903c789e14b2349fb45d173c4a8a770]]
Former-commit-id: 439b44b34fd465eccfb75e5d7ad1fa1a8558a2dc [formerly aa60f238020476f95672983c3f0d51695293fd7f]
Former-commit-id: 42eb09f4514256ce29604469b20814e4836f11d2
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild