Remove demo, since this seems to confuse some automated tools (we will make a new repo for his)