Renaming irbrc back.
Adding first draft of a dotty manifest