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).
Minor cleaning up.
New snapshots.
Some work on showing/hiding a dock area (#149).
Some minor cleaning up.
Improved our showing/hiding of docked widgets (closes #149).