Add infos on flight-recorder profiling to Profile.md
Currently, Profile.md
describes how to profile CPAchecker with VisualVM.
We could add information on profiling with Java flight recorder, which has a nice integration in IntelliJ IDEA and is easy to use.