[Ur] [UrWeb] urscript library plus a couple of patches

[Adam Chlipala]

On 12/06/2013 06:52 AM, Sergey Mironov wrote:
> The library requires a couple of small patches for the UrWeb. The
> first one adds `typedef uw_Basis_string uw_Basis_xhead' declaration to
> the C header (forgotten by mistake).

I've addressed this instead in a way more consistent with how similar 
type synonyms were already handled: this type is compiled to plain old 
'uw_Basis_string' at the C level.

> The second one adds
> `-print-cinlude' command line argument which should make writing
> makefiles easier (the last command line patch from me, i promise:)
>    

Patch accepted (and I added some text to the reference manual).