Add a few more invariant checks
Specify rubt 2.0
Catch and Print errors on removing pyc
Revert ruby -> ruby2.0. Not all ruby2.0 binaries are named ruby2.0
Fake commit: move to ruby2.0
Quickfix: allow replayer to process dataplane delivery during sleep() and
select()

NOT TESTED. Fixes a bug where no dataplane messages would go through, even
though dp_permit=True.
Quickfix: fix missing variable
Add more print info to unexpected state changes
self.sleep -> time.sleep
Fuzzer: Only crash one controller at a time
Topology: only connect to one controller at a time
make controller start on restart
Make sure switches reconnect to controller after recovery
Keep track of killed controller for the liveness invariant checks

There was a bug in the controller liveness check in which it will
give a false positive of invariant violation for controllers that
were killed by STS but not dead because of a bug.
Make the event schedule sleep log more clear.
SIGCOMM SPECIFIC: only fail one controller c1