A planetary system around the millisecond pulsar PSR1257 + 12