GSoC: Halide & Axiom

Wow, this page is getting long. We might need a table of contents - is there any way to do this automatically?