[OpenVPN] Ubuntu/LinuxMint problems with DNS

As an OpenVPN client, Ubuntu (14.04 probably also 13.04 and 12.04) and LinuxMint (the releases based on Ubuntu) have a common DNS resolution problem (when connected to an OpenVPN server). The same bug was reported...