Fix doc generator to output non-GET calls to REST API; Add link to iOS lib in nav