Create on-idris directory; update readmes.

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