Merge branch 'master' of github.com:fp7mplane/protocol-ri
merge develop
added HTTP and access control
Removed settings.conf and improved check_azn function
Certificate configuration done with conf-file
Bugfix in ping.py
Renewed PKI, improved certificates management, minor code changes
draw a picture of the registry in the doc...
Merge branch 'develop' into new-registry
protocol-spec progress
new element registry parser in progress
Merge branch 'develop' into new-registry
convert registry
minor registry edits
minor debug
JSON registry passes regression
further debugging of flexible registry
Fix #5: period now important in when.follows()
Merge remote-tracking branch 'origin/ssb_security' into develop
remove swapfile