Added versioned program spec

For changes regarding prox. sensors and ultrasonic sensors.
First pump-in latch logic support

The system now only depends on the upper fuel sensor port, and "on"
indicates low fuel level.