Android FileSearch will now search external SD cards as well (issue #673).

I don't own a device where I could reproduce it, but it worked when tested
with other manually created directories.