Changed makefile to point to ding2 on github
Merge pull request #2 from ding2tal/core-pr-3

Core pr 3
Merge remote-tracking branch 'ding2/master' into ding2-master
Merge branch 'ding2-master' into develop