missing instructions for LTSmin installation for end-users

[jacopol]

To use LTSmin, I needed a few extra steps:

(1) rather standard:
wget https://github.com/utwente-fmt/ltsmin/releases/download/v3.0.2/ltsmin-v3.0.2-linux.tgz
tar xzvf ltsmin-v3.0.2-linux.tgz
mv v3.0.2 ltsmin-v3.0.2

(2)
For dve and promela, we need to add divine and spins to the path:

(replace ... with the actual path where you unpacked/moved ltsmin-v3.0.2)
add to .bash_profile: PATH=".../ltsmin-v3.0.2/bin:$PATH"

(3)
For dve, we additionally need ncurses5:

sudo apt-get install libncurses5

[jacopol]

ad (3) above:

A better solution would be to link ncurses statically into divine, if possible.

The error message I bumped into was:

> dve2lts-sym elevator.3.dve
dve2lts-sym: opening elevator.3.dve
divine: error while loading shared libraries: libncurses.so.5: cannot open shared object file: No such file or directory
dve2lts-sym, ** error **: File not found: /tmp/ltsmin-Ktl5tI/elevator.3.dve2C