Plug-ins for Eclipse to support editing, running, and debugging the GOAL Agent Programming Language and related KR languages