A baby great white shark that washed up on Manly Beach, Australia has been released back into the sea after being given a health check.