Add -with-frame-pointers to ./configure

This option can be used to tell the native compiler that it should
update frame pointers, so that debuggers and profiling tools 
(especially Linux perf) can use them. For now, it is only supported
by the Unix/amd64 port.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix compilation issue with amd64.S



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02