Add dependency libgtksourceview-3.0-dev to the Ubuntu install line