Moving Franken+ code to its own repository.