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

Add a licenses and issueManagement section to pom.