modified math_check_online: added commented line that allows to run the check offline, with a running local wtl envinronment set up

Signed-off-by: Dario Mapelli <mapelli.dario@gmail.com>