Add CVC4 build instructions for GNU/Linux