Core javadoc part07
Merge branch 'master' of https://github.com/krajj7/pikater

Conflicts:
	src/org/pikater/core/agents/system/Agent_Manager.java
More javadocs (search agents) merge