Infrastructure updates See merge request !7 (cherry picked from commit 44ad28d3) f655c1d8 [doc] Update documentation 7b184a09 [cmake] Bump required version to 3.1.0 e8c5be3b [ci] Stop testing with Debian 8