fixed typo in xml server
add command to print local clock value
changed the way we compute the 32bit integer for ip to be more elegant :)