Python tool for remapping keys in linux