issue #2 - synchronization handles multiple files

Until now, a synchronization actor could only handle one file. With this
modification, such an actor can now deals with all synchronized resources given
a paper Id. Each document is to be carried in the synchronization message.
add unit testing of ResourceDispatcher
fix bug in ResourceDispatcher thanks to unit test

on actor creation (first "Join" message). the user was not counted in the user
map.