Optionally made Designex punching easier

By default, you can now do things like the NEI plugin tells you to.