Release version 3.1-002

Using tarball (with SHA1):
3c4ded4ed18e4a16394cdc1d625d7d0f4f84b108 *Vrui-3.1-002.tar.gz