A deal between Greece and its creditors would be best. But if there has to be a Grexit, here is how to do it.