The synchronization daemon for Docear