Update Proof General to point to coq version 8.4
[Minor] now remindmeto plays a sound