Initialize repository with existing assets

Initialize this repository with the existing assets — the `README`
document, the Idris `ipkg` build-script, and the
`generate_URI_regex.idr` program source text document.