Slight update to the team's page [ci skip].
Merge branch 'master' of github.com:opencor/opencor
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some minor cleaning up [ci skip].
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some minor cleaning up [ci skip].
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some work towards making the code of pull request #445 more OpenCOR like (#449).
Some minor cleaning up related to our new data store code [ci skip].
Some minor cleaning up of our plugins window code [ci skip].
Updated the user documentation following the merging of pull request #445 (closes #450).
Some minor updates to third-party libraries page of the developer documentation [ci skip].
Minor fix our Editor widget [ci skip].

It was related to the width of the icons for the find widget.
Some work on creating a spinner widget (#448) [ci skip].
Some minor cleaning up [ci skip].
Travis-CI: upgraded the version of CMake on Ubuntu and asked for the sample plugins to be built too.
Travis-CI: upgraded the version of CMake on Ubuntu and asked for the sample plugins to be built too.