Bumped Vrui version to 3.1-002