Added a cabal configure flag for enabling or disabling specs.

The flag is -fnetwork-specs. It prevents specs from hitting the network.