Change license to BSD 3-Clause, to match Idris.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>