Update martini to its new repo