Local Hero — cherished movie becomes marvellous musical at the Royal Lyceum, Edinburgh