shell provisioning to add Mathoid distribution