CodeBin - an online IDE and compiler with a file server attached