REGISTRATION RIGHTS AGREEMENT BETWEEN WATCHGUARD, INC. AND ROBERT VANMAN DATED AS OF OCTOBER 12, 2017