Text this: Recovering Pulsar Periodicity from Time-of-arrival Data by Finding the Shortest Vector in a Lattice