Changing some names
Capitalizing the filename
Initial commit of the Dual_quaternion class, currently untested