Unique names for session files, handle reading from stdin

This PR updates prosession to use unique names for session files, which eliminates collisions when editing in two directories with the same name. It also modifies procession to not restore the session when vim has been loaded by reading from stdin (e.g., `vim -`).