official site and 0.12 release

[Liviu Ionescu]

According to https://openocd.org, the latest news is that 0.12.0-rc1 is out, 
but on github I see:

- https://github.com/openocd-org/openocd/releases/tag/v0.12.0


If 0.12.0 is indeed out, perhaps the site can be updated too.


Regards,

Liviu