Remove command line options `-U` and `-i`#1265

Merged

markuspf merged 2 commits intogap-system:masterfrom ChrisJefferson:remove-dead-options

Apr 24, 2017

+18-159

Commits on Apr 20, 2017

Remove -U, which set compiler options but hasn't worked in many years
ChrisJefferson
committed
Remove -i, which sets first file GAP reads. Was broken for years.
ChrisJefferson
committed