Add proposal name to spec

Author: rossberg

document/core/conf.py

@@ -66,10 +66,10 @@
 logo = 'static/webassembly.png'
 
 # The name of the GitHub repository this resides in
-repo = 'spec'
+repo = 'exception-handling'
 
 # The name of the proposal it represents, if any
-proposal = ''
+proposal = 'exception handling'
 
 # The draft version string (clear out for release cuts)
 draft = ' (Draft ' + date.today().strftime("%Y-%m-%d") + ')'