Allow to supply the MySQL replication user

This allows to supply a replication username on the command line to specify the username in case the username differs from the default `replication`. It still default to `replication` but allows for different values.