Added the option --map2checkout-to-graphml

Signed-off-by: Herbert <herberthb12@gmail.com>
Created a option to generate a graphml from map2check output

And Updated experiments script to generate a graphml from map2check output

Signed-off-by: Herbert <herberthb12@gmail.com>
Added new items to todo list

Signed-off-by: Herbert <herberthb12@gmail.com>
Added new test cases to fix bug

Signed-off-by: Herbert <herberthb12@gmail.com>