3vLTL: A Tool to Generate Automata for Three-valued LTL