For #12, add license info for the theories port and its dependencies.

Also, add a licenses and issueManagement section to pom.