first draft; packaging aspectjweaver and rvmonitorrt with the agent
ensuring that the aspectjweaver.jar and rvmonitorrt.jar
 themselves are not included in the agent jar
replacing hardcoded separator with platform dependent one
cleaning up and re-organizing a bit
adding more comments
minor reorganization
more minor reorganization
allowing agent generation to continue with warning even
when jars used cannot be deleted
Adding some javadoc
Added a null check
formatting
Merge pull request #70 from runtimeverification/thickAgent

Eliminating the need to have certain jars in path while running agent