Algorithmic enumeration of quaternionic lattices