plomino/Plomino — pull request #488 by jean (2013-11-19 03:38:25+00:00)
Title: Be cleverer about includes

- `#Plomino import script` should not mess with `#Plomino import script_too`.
- Imports in scripts should be handled.
- Import a script the first time it's mentioned; thereafter ignore it.
- Allow (and in future recommend) `#Plomino include script`, to distinguish from Python's `import` statement.