Update Fedora version from 17 to 19

There are no Havana packages for F17, only F19.

Change-Id: I251bcb743e16728a671da3fba3747111486bdf35