updated the list of known pulsars (some of the formats/url changed)