Modified protocol state registry slightly to be extensible.
Fixed bugtracker and CI urls.