Changed AutomataLib version to 0.4.1-SNAPSHOT