Merge pull request #90 from frenetic-lang/trans

Make handshakes more robust
topo: expose topology stage in module interface
tests: Make tests return non-zero status on failure

All the test were being run properly, and failures could be locally
observed by reading console output. However, the travis-ci script was
assuming that the tests would return a non-zero status code on failure,
which was not happening.

In order to correct this, the following line was added to the bottom of
tests/Test.ml:

  Pa_ounit_lib.Runtime.summarize ()

As the name implies, this will summarize the results of the test run and
in addition return a non-zero status if any tests failed.
Merge pull request #98 from frenetic-lang/tests

Make tests return non-zero status on failure
Merge pull request #92 from frenetic-lang/topo

Add support for switch topology discovery
Merge branch 'master' into host

Conflicts:
	async/Async_OpenFlow.mli