FileSystem Library
Read an existing file from the 'workspace' directory.
readfile(file: string): string