Replace HomalgRingElement by HomalgExternalRingElement
Merge pull request #8 from wagh/devel

Replace HomalgRingElement by HomalgExternalRingElement