Merge pull request #2 from samoht/split-libs

Split libs
Depend on the tcpip OPAM package now, for Ethif
Merge pull request #3 from samoht/split-libs

port basic_http
Merge pull request #199 from avsm/split-libs

Unify the mirage-types and mirage repositories
Document IPV4 module type and fix a number of inconsistencies.

* ipaddr -> ipv4addr to match udp/tcp
* Add missing gateway accessor
* Clarify ip to ipv4 in function names
Merge branch 'split-libs' of github.com:avsm/mirage into split-libs
Document UDPV4 module types
Document TCPv4
More docs for CHANNEL, and remove the unused Closed exception
Merge pull request #206 from avsm/split-libs

Doc and some inconsistency fixing in types
Add a manual_ethif where we build the stack from modules
Merge pull request #207 from avsm/split-libs

Add a manual_ethif where we build the stack from modules
add direct_stackv4_with_static_ipv4 function
Merge pull request #208 from avsm/split-libs

add direct_stackv4_with_static_ipv4 function
Fix IP lib_test with the correct libraries
sync gitignore
README and CHANGES tweaks
update travis scripts
Merge pull request #210 from avsm/master

Fix tests and update README
Change the order of processing the command-line options and dynlinking

Previously, `mirage configure --xen` would called `Mirage.set_mode`
after processing `config.ml`.  This results in `Mirage.get_mode`
always returning `Unix` when queried from the configuration file,
which isn't helpful when trying to select which libraries to build.