Implemented mappings from goals to heuristics, goal tests and allowed actions. Compiles
Fixed handling Explored goal when given a vertex
Fixed goal test for when an agent wants to explore a specific node (equivalent to goal "At vert")
Fixed missing match case, cleaned up some code
Fixed bug with project need higher version of Fsharp.core
Changed "Recharge" goal to "Charged charge" goal, where charge is the desired charge, or None.
Merge branch 'Release/MileStone3/feature/goalSpecs' of https://github.com/srnjcbsn/Beduin into Release/MileStone3/feature/goalSpecs
Fixed some warning regarding indentation and incomplete pattern matches
Repairplan now calls formulate plan, as a temporary fix
Merge branch 'Release/MileStone3/feature/goalSpecs' of https://github.com/srnjcbsn/Beduin into Release/MileStone3/debug

Conflicts:
	TeamNabf/NabfAgentLogic/Logging.fs
	TeamNabf/NabfAgentLogic/logic/LogicLib.fs