see #227 for details. Will merge as it fixes build errors so Travis can be useful agian.
The contiki-default-conf.h file is intended as a safe fallback for a number of configuration options in Contiki, to avoid putting too much in the individual contiki-conf.h files.