Set default optimisation level
Set default optimisation level

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

idris-hackers/idris-llvm,melted/idris-llvm,melted/idris-llvm,idris-hackers/idris-llvm