Some small bugs removed in epsilon_K. FullNLO implemented where necessary. Results mostly unchanged.