Kompaktní přímotop