A millisecond pulsar in an eclipsing binary