Add "ltsa" package

LTSA is a verification tool for concurrent systems.

Homepage: http://www.doc.ic.ac.uk/ltsa/;
Set GIT_PS1_SHOWDIRTYSTATE=1

So that the prompt will indicate git working tree state with a one char
symbol.
Install aspell system-wide

/etc/profile has been updated so that aspell also works from the system
profile.