Normalizing designations

Updating a few of the designations so they all have one form only for a given designation. Usual operations are to remove leading zeroes, e.g. in TYC, KIC designations.

BD designations are represented in the form "BD+20 2457", i.e. no space between BD and sign (which is always present), and single space between declination and sequence number.

CNS designations are set to use the form Gliese N for N < 1000, GJ N for N > 1000.

Bayer/Flamsteed/variable designations use SIMBAD-compatible abbreviations: Greek letters abbreviated to 3 characters (including the forms mu., nu., pi. with trailing period and ksi for xi), constellations use three letters. In case of numeric superscripts on Bayer designations, these are represented as two digits immediately after the three letter abbreviation, e.g. "gam01 Leo".

PSR designations specify the J/B prefix, either in the form PSR JNNNN±NN or PSR BNNNN±NN.

Designations of the form KIC NNNN.NN are removed. This usage is not supported by the Kepler candidate catalogues.