New/dev docs

Fleshed out the README and added contributing files stolen from idris-dev.