implement plug-in loader
change getModules return type for consistency with KModule interface
generate plugins directory
Merge pull request #949 from osa1/plugin-wip

[WIP] plugin loading
added list append and copy specification files
some primitive support for pattern folding
kernelc can translate lists and pointers to SMTLib; added support for lseg
fixed merge conflict
fixed merge error
list segment and sorting examples work
fixed simple examples; added all tests to config.xml
fixed test output
merged maven commit
minor fix
minor