Simple installation instructions for NuSMV/NextCE