Make the project name consistent

[nudles]

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