#1003 change fun github address and remove INRIA from legal page
Merge pull request #11 from openfun/1003_change_github_and_remove_inria

#1003 change fun github address and remove INRIA from legal page