copy aima-java from svn
rename PropositionSymbol to PropositionSymbolImpl
introduce interface PropositionSymbol
update README.md