added FileHandle#list(FileFilter) (+ Android and GWT backends), fixed FileHandle#list(FilenameFilter)