Implementation updates (April 15, 2020)

The specification document has been updated to reflect the following recent developments from members of the SIKE team.

SIKE team updates

Algorithmic improvements (applicable to all platforms)
Platform-specific improvements

Other developments

The following additional recent developments may also be of interest to the community. The updated specification file does not reflect these developments.