added the keyword option `paramfile` to the tipsy loader to allow one to give a specific parameter filename