Reveal the source of a proposal

With the #73 issue, now the source of a protocol could have never been injected to the shell.

The fix should be that the shell first try to fetch the source an unknown protocol from the current or last running protocol