Added --universe-polymorphism and --without-K options

The options were removed from the Agda files.