changing default name used for agent
Merge pull request #119 from runtimeverification/fixname

changing default name used for agent