Optimising Clifford Circuits with Quantomatic