Add license

To release midas into the wild, we should add licensing information to the repository. For the publication, we already decided to use LP#3 (closed), so it's just a matter of making it official.