Makefile.contiki: only try to include a HAL if $(HAL) is set

This lets users who have made their own arrangements for the HAL prevent
the Contiki subsystem from interfering.
Demo/{WM09,E407)/Makefile: pass RF chip via CONTIKI_EXTRA_SOURCEFILES

That way, the Contiki side doesn't have to default/hardcode/etc. one.