Added achievements and fixed auto-saving

Gamified tasks can now define :gamify_achievement:'s which will be stored together with Gamify stats on task completition for fun and profit.

TODOS:
- Add prettier Graphviz export
- Allow more than one achievement per task.

Also, auto-saving is now performed on gamify-stats-alist modification.