closed #10, it is now possible to list source code files from the server