change constructor of GVFReader, add portal.html