BJ Penn officially announes his retirement.