Detecting user inactivity

[arvgta]

(needed for implementing #36)

basic research:

• http://stackoverflow.com/questions/667555/detecting-idle-time-in-javascript-elegantly

or even better;

• https://github.com/kidh0/jquery.idle

[arvgta]

Implemented successfully