0.8.17

Significant performance boost; much faster GFA loading (50% and more with larger graphs), similar reduction in memory usage.

Others:

• strawk addon mechanism.
• Prefer OpenGL ES on linux/aarch64.
• Various bug fixes.