Some tools for internal use: build static webpages, upload them via ftp