Use --simulate-counterexample option.

Simulate is now able to interactively handle CE traces from other algorithms.
New features:
- trace can be read from meta
- it is shown if vertex is in CE, if it is accepting
- CE can be followed one step, multiple steps or to the end
- it is possible to print remaining CE

(I have no idea where it come from, but it breaks win builds.)

(to fix comptilation on windows/mingw)

To overcome bug in mingw/gcc 4.7 on windows
http://stackoverflow.com/questions/12975341/to-string-is-not-a-member-of-std-says-so-g

(Windows does not define asm/byteorder.h)

There was an error compiling compile.cpp.

To get copy constructor and assignment operator.