Reverted name change

I thought have the same name for dockerhub and github would be nicer but actually having a very short name is so cool.