listing.php: nonlocal streams available

listing.php: put list of streams to file "nonlocal.txt" for non-local
streams in diretory listing