v1.0 has been released

The first stable release of v1.0 has been published.

This includes some changes in our github.

The develop branch has become master.

The master branch has become 0.8 branch.

If you have cloned the repo, you will need to update the branches, to do that, you can use the commands:

First (change master to 0.8)

git branch -m master 0.8
git fetch origin
git branch -u origin/0.8 0.8
git remote set-head origin -a

Second (change develop to master)

git branch -m develop master
git fetch origin
git branch -u origin/master master
git remote set-head origin -a