Hi @Marvin_Francois_Fath, it's a tragedy about Code Bender 
.There actually is a board support package for Arduino IDE that should work fine though. The Boards Manager URL is: http://update.wickeddevice.com/package_WildFireBSP-4.0.0_index.json. Please can you try that and let me know if it works for you?
P.S. I've just updated the wildfire.wickeddevice.com website to include that Boards Manager URL as well.