Add command to initialize new project

This is a little bit of automation I've had laying about, so I cleaned it up and threw it into idris-mode.