Sync for 2.0.0 release
Merge branch 'master' of git://github.com/mirage/mirage-tcpip
travis: add a mirage-dev remote
Merge pull request #78 from avsm/master

Release 2.0.0