Quantum gravity in three dimensions, Witten spinors and the quantisation of length