Allow compilation of index.agda under 2.3.2.2
Add `homotopy.SuspensionJoin` to index.agda
Merge branch 'pthariensflame-master'

Closing #9.