Redgate Software announces a new CEO