Update proposal latex with version we submitted