Helper scripts for publishing via LeanPub