An IPython Notebook widget for letting users upload a file