Add script to update, compile, and publish ampersand on tarski