Update src/include.php for dynamic loading of external plugins
Fix src/tools/selection.js