Modified complexstore; added "secret" keyword
Merge branch 'denver' of https://github.com/aleksandarmilicevic/poirot into denver
compelxt.als
Merge branch 'denver' of https://github.com/aleksandarmilicevic/poirot into denver

Conflicts:
	alloy/complexstore.als
bugfix
Merge branch 'denver' of https://github.com/aleksandarmilicevic/poirot into denver
Added policy