Wouldn't an AHK script in a dropbox fix this problem? I know with linux and OSX things get a bit messier. But that seems like a very easy problem to solve with a fixed cost of creating some small scripts that swap keys and keyboard settings.