Default value for window size in MSDP set to 30, best result according to LCN paper
Ortographic fix
Added redundancy parameter
Small fix in redundancy parameter
Now the navigation system can obtain random RSU pplaced by the
rsuManager
RSUManager.h added to src/Makefile
Fixed a very strange problem in navigation System