mini-os: updated version number
Use Travis CI
Make ARM PAGE_SIZE defines match x86 ones
Compile with -nostdinc
Add include/posix to the include path in the pkg=config file
Added sys/cdefs.h
Added assert

Useful for other software, and avoids in-lining the uncommon failure
case.
Moved string declarations into string.h
Add -nostdinc to pkg-config
mini-os: updated version number
Merge branch 'devel' into minios-releases