Tidy up condor pool model, and make termination options available when
launching pools.
Also, add missing transparent background gif to static files