#5 Skein auto-pruning

[Jan Ploski]

Implement automatically pruning unused (?) skein paths, as it is done in the default Inform 7 IDE. Also implement locking of nodes to prevent such automatic pruning.