[ Makefile ] Added Agda options

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