Fixes #5235: Fixes rudder-upgrade-database (missing RUDDER_OPT definition)
Merge pull request #441 from Kegeruneku/bug_5235/int/5235_correct_bigint_database_migration_script

Fixes #5235: Fixes rudder-upgrade-database (missing RUDDER_OPT definitio...