Improve access to Gecode options via API.
format_test -> format-test
Update format.