added function on server to read directories
added files for browsing remote directories
changed setup procedure for exploring proofs - now user browses to pvs file containing theorems