Make do and random take an additional argument referring to the name of a random selection rule

[iensen]

In the draft https://github.com/iensen/plog2.0/blob/master/papers/plog_ref_dco_full.pdf we have described a new syntax for do/random. The implementation must be adapted respectively.