Changes between #87 and #88

#88 (Jun 11, 2024, 12:39:01 AM)

1. Use cookie to get csrf token in JSON API Login.py — w.moore / githubweb
2. Add version.properties to etc/omero.properties — snoopycrimecop / githubweb