Initial commit for fault tolerant server. Need to verify lamport mutex works okay.
Merge branch 'master' of github.com:aaalaniz/distributed_ticket_reserve_server

Conflicts:
	.gitignore