Remove hack in completion show_no_proposals()

This requires the new vapi of GtkSourceView, available in the master
branch of vala.

Attention, the 0.18 vala branch has a more recent version than the
master branch…