Implemented ListIndices

Synchronises selection of a set of integer indices in a list, with a
set of selected elements of that list. Also added simple demo of use of
this selection with a Ledger.