DEV/LUCIDDB:  update links for 0.7.2 release
DEV/LUCIDDB:  update links for 0.7.2 release

[git-p4: depot-paths = "//open/dev/": change = 10237]

LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb