Set default optimisation level

FIXME: Find a way to set back end specific options from idris