Add GitHub Actions workflow for building and publishing documentation to GitHub Pages. Signed-off-by: Anton Kikin <a.kikin@tano-systems.com>