SCR-to-VELOC differences about veloc

[adammoody]

Looks like we had and lost some of these functions in the change over to master:

VELOC/src/veloc.h

Line 1 in 275567e

#ifndef _VELOC_H

[bnicolae]

I've added preliminary support for the SCR wrapper. Specifically, VELOC now flushes the original file names to stable storage (but still keeps its own names for local storage). Also, the restart works as long as the user specifies the original file name that goes with a specific checkpoint name and version. The user does not need to remember this, we could provide it automatically. However, the semantic of route_file on restart is not well defined for now (should the original file name be NULL on restart and get ignored?)

[bnicolae]

This issue stayed inactive for a long time. However, it is still relevant and will be revisited eventually.