update version to 3.1.0 (for the next distribution release)