Make user place marginphantoms for floats manually.

Previously the marginphantom was placed wherever the float environment
was written, which was of course only appropriate if the float was
placed `here'. Now the user can choose if and where the marginphantom is
inserted.
Fix problem of footnote package killing rules in footer.