More dependency description; added Mac cpp wrapper

Based on suggestions by @jserv and @bacam
See also https://github.com/seL4/l4v/pull/1
further README tweak