Refactor - Improve cabal workflow in the makefile + update travis ci's
launcher accordingly
Doc - Add documentation about dev workflow
Add a target make run-nix-shell to reference the nix's use case
Refactor - Test - Use the same type definition (conciseness)