Amphitrite: symbolic debugging tool using JonathanSalwan/Triton

Concolically debug executable binary using Triton with sequential programming experience.

This time only supports single-threaded and single-processed target binary.

https://github.com/cosine0/amphitrite