Add target to build and push dev doc in Makefile
Add test for print_progress