Adapt to latest mirage-tcpip API changes
Merge pull request #125 from avsm/master

README fixes
Update CHANGES
Update _oasis
Update autogen files
Add missing files
Merge branch 'master' of github.com:mirage/mirage

Conflicts:
	CHANGES
Merge pull request #126 from samoht/master

release 1.0.1
travis: fix deps