add scripts for building and publishing IdrisDoc documentation