Adjusted Contiki include path (relative to $HOME) and minor fixes for INETMANET