Adding RadicalExtensions

This package provides some support for arithmetic with numbers of the form a*sqrt(b) where a is rational and b is a positive integer.