CodeFS: A Filesystem for remote development - View it on GitHub