Rename.
Merge branch 'quantities' of https://github.com/eggrobin/Principia into quantities