Various scheduler enhancements
Goal: give the server more info about completed jobs. This serves various purposes, such as credit calculation and app debugging.
New fields in result table:
- ID of app version used (-1 if anon platform). Filled in by scheduler when job is dispatched.
- The scheduler's FLOPS estimate for the job, as determined by app_plan()
- run time, as reported by client.
