Add optional `shape` parameter to `DiscreteArray`#19

adzcai wants to merge 1 commit intogoogle-deepmind:mastergoogle-deepmind/dm_env:masterfrom

adzcai:discrete-shapeadzcai/dm_env:discrete-shapeCopy head branch name to clipboard