Release 3.1.0

Release to fix Ubuntu packaging.

Change-Id: If0e0cbe926c5b7d1041c6595dae26ff205accea2