Added my (Jesse's) 309 project to the demo repository. The only
annotations currently supported are @Censored and @Uncensored
(illustrating taint checking).