[ImgBot] Optimize images

*Total -- 396.57kb -> 317.76kb (19.87%)

/doc/repl.png -- 395.84kb -> 317.09kb (19.89%)
/apps/site/public/favicon.svg -- 0.73kb -> 0.66kb (9.35%)

Signed-off-by: ImgBotApp <ImgBotHelp@gmail.com>

Author: ImgBotApp