Add Fedora vala-tools dependency to INSTALL