Add check for useless assignments

[Fuco1]

The implementation is related to #39.

We can have code like this:

(setq a 1) ;; this is useless
(other forms not using a)
(setq a 2) ;; a == 1 was never used
(setq b a)

So we look for variables/forms which are assigned but never read.