Simulation with PyEphem validated. The test for this validation has to be manually checked.
Minor changes, passtimes script included.