Updated gitignore
Moved from float to double for fp types
Better printing of UB if no int solution has been found yet
Always remove useless arcs, flag to check if we want to add stop arcs
Initialise random counter once at the beginning