Merge pull request #8 from wagh/devel

Replace HomalgRingElement by HomalgExternalRingElement