Improve Gateway UI probabilities #49
Description
When setting probabilities for XOR-gateway paths in the UI, no check is done if the probabilities add up to 100%.
This should be either enforced or at least warned in order to avoid errors in the configuration.