Add forgotten documentation for -ppx of toplevel.