Error message: we're looking for 'config.ml' not '*.conf'

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #197 from djs55/message

Error message: we're looking for 'config.ml' not '*.conf'
Merge pull request #199 from avsm/split-libs

Unify the mirage-types and mirage repositories
Merge pull request #206 from avsm/split-libs

Doc and some inconsistency fixing in types
Merge pull request #207 from avsm/split-libs

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

add direct_stackv4_with_static_ipv4 function