minor cleanup; switch to idris-lang github url
Support for FreeBSD

We use gnu make on FreeBSD instead of bsd make, due to incompatibilities:
 * -include is a GNUism
 * conditionals (ifneq/ifeq)
Merge pull request #630 from hannesm/freebsd-support

Freebsd support