Switch to real version numbers for ephemerides

Since pip no longer likes version numbers without periods in them.