Grexit, the unfortunately named software startup, is changing its name