program code for "A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow"