Revert "Added --no-sized-types option"

This reverts commit bd4a5580a565cf954c29014fc03696440ac0df58.
Revert "Added --universe-polymorphism and --without-K options"

This reverts commit cba845908ea3276b33ae68d74286460a253731e7.
[ Makefile ] Added Agda options

Options: --no-sized-types (enabled by default in Agda 2.4.0),
--universe-polymorphism and --without-K.