removeFile -- unlink a file

Synopsis

• Usage:

  removeFile f

• Inputs:

  • f, a string
• Consequences:

  • the file reachable by the path f is unlinked from its directory