added constructor and getters/setters for the TodoManager