FSM analysis improvements and bug fixes
Timers for FSM analysis were improved (now a higher number and tree types are supported: TON, TOF, TP)
Add FSM analysis capability, inputting Boolean expressions.
Update to new java version. New prefix output format
Update to new java version. New prefix output format
Updated support to tikz-ladder
Open files coded in UTF-8 with or without BOM
Bug corrections concerning the downgrade to java 8 (most users don't have java 11)