Make the project name consistent

In both the codes and documentation, we need to make the project name consistent.
The official name of the project is `SINGA`, but sometimes we have to use `singa` like for the url or github repo name.
So I suggest to use `SINGA` (e.g., in documentation) and `singa` (e.g., in codes), and avoid `Singa`