Slight update to the user documentation (partly addresses #186).
Slight update to the developer documentation.
In the end, we don't want people to use the HTTPS protocol with our GitHub repository.

Indeed, according to
http://git-scm.com/book/en/Git-on-the-Server-The-Protocols, the HTTPS
protocol is simple to set up but it is very inefficient.
Use the default corner settings for docking areas (#149).
Some minor improvements to some of our CMake files.
Quite a bit of refactoring for our solvers. Also fixed an issue with solving DAE models (#188). CONDVAR wasn't passed to computeVariables(), meaning that the compilation of a DAE model might fail (if the model was to make use of CONDVAR in computeVariables()).
Some minor cleaning up.
Some minor cleaning up in our core and IDA solvers.
Some minor cleaning up.
Some minor cleaning up.
Reverted some changes to some of our CMake files.
New snapshots.
Some minor cleaning up.
SingleCellView plugin: consider non-finite values as being different from initial values (#189).
Some minor cleaning up.
Some minor cleaning up.
Properly distinguish between 'proper' and 'computed' constants (closes #190).