docs: fixing typo.
Merge branch 'master' of gnuradio.org:gnuradio
pmt: fixed where pmt's __init__.py script gets installed.
Merge branch 'master' into next
ctrlport: removing unused and unecessary file.
Merge branch 'next' of gnuradio.org:gnuradio into next