Update State.js

Added the function addNFATransition which adds the given transition without removing any other transition in the translist with the same character.