Akershus festning, Ridehuset