Migrate to GitHub
Merge https://github.com/DasLab/RMDB_server