make some project names uniform

Change-Id: I4e8266c52ef1d8cf3756922b7e0065e7262fcadf
Merge branch 'kk' of https://github.com/Alberto97/carbon into kk