Support for shuffling of statements within an article

If parameter 'statement_shuffle_command' is set to 'on' and the user has
one of the rights 'statement_shuffle' or 'all', then the final gray
triangle of an article has the menu item 'Shuffle statements'.