Remove useless Agda options.