add aspectjrt dependency
Merge pull request #68 from runtimeverification/aspecjrtdep

add aspectjrt dependency