coq_HEAD: update to latest Git version

In particular, to get the fix for #3585 in the Coq bug tracker
linssid: new package

LinSSID is a graphical wireless scanning application for Linux.

http://sourceforge.net/projects/linssid/