Added new --no-exact-split option

This option can be used to override a global --exact-split in a file,
by adding a pragma {-# OPTIONS --no-exact-split #-}.