Implement FileHandle list in GWT backend

Also, fixes #1632.