added recycling of mars session ids, also fixed bug with not receiving FIN signals from server, added dependency on bitarray used to quickly lookup available session id