Added and modified Linux and Windows Powershell scripts for benchmark testing.
Added some more test nets for benchmark testing.
Removed some test nets that are too complex (ie. test-bit-16-net.apt caused the covera module to hang)
Fixed compatibility issue in CoverabilityGraph.cl. Renamed NAN to NOTANUMBER.