Convert (through nbconvert) and download the notebook directly from the menu

This is a simple implementation for #3402.