Efficient synthesis of Fibonacci anyon circuits
For now this implements https://arxiv.org/abs/1310.4150.
