Add more descriptive docs + some experiments

[asinghvi17]

• Benchmark file to test GO's speed on geometries provided by different packages - needs to be made more portable though
• Code for the vector-benchmark plot with the logos and all - needs to be made more portable again
• Experiments:
  • Accurate accumulation - I need to find a good test case for this, but it's basically trying to avoid roundoff error. It doesn't affect the result much for now, but if dealing with really small then really large numbers it might.
  • Exact predicates: a plot of the orient/incircle predicates for really small numbers. WIP.
• Paradigms: a more standard-like explanation for apply, applyreduce, and fix.
• Peculiarities: open to rename. Basically explains some things we do in the source (boolsastypes, etc) in more detail.

[asinghvi17]

This should be ready to merge now, in so far as I'm happy with its state. Experiment pages aren't in the sidebar now, but will be once we figure out the exact predicates and have some nice test cases to show off. You can access them directly through URL though.