change ISE synthesis settings to (hopefully) avoid memory
exhaustion problem with previous commit. Issue #31.