Implemented BoogieRunner
Added example boogie config