Added --no-sized-types option

The option is enabled by default in Agda 2.4.0.