Our new server is located at http://shotgun.math.chalmers.se.