iros13: updated mainpage